Theorem CategoryTheory.RightSplit.shortExact

Modification history