Theorem CategoryTheory.MorphismProperty.of_relative_map

Modification history