Def category_theory.morphism_property.is_inverted_by

Modification history