Theorem CategoryTheory.LeftSplit.shortExact

Modification history