Split (mathematics)

  1. redirect splitting lemma