Theorem CategoryTheory.Subobject.top_factors

Modification history