split (mathematics)

  1. redirect splitting lemma