Theorem CategoryTheory.Subobject.ofMkLEMk_comp_ofMkLEMk

Modification history