Theorem CategoryTheory.MorphismProperty.isomorphisms.infer_property

Modification history