Theorem CategoryTheory.Subobject.exists_iso_map

Modification history