Theorem CategoryTheory.MorphismProperty.isIso_fst'_self

Modification history