Theorem CategoryTheory.Subobject.inf_def

Modification history