Theorem CategoryTheory.MorphismProperty.IsInvertedBy.iff_map_subset_isomorphisms

Modification history