Theorem CategoryTheory.Subobject.underlyingIso_top_hom

Modification history