Theorem CategoryTheory.Subobject.underlyingIso_inv_top_arrow

Modification history