Structure CategoryTheory.SplitEpi

Modification history