Theorem CategoryTheory.Split.shortExact

Modification history