Theorem CategoryTheory.Split.leftSplit

Modification history