Theorem CategoryTheory.Split.rightSplit

Modification history