Structure CategoryTheory.RightSplit

Modification history