Theorem CategoryTheory.MorphismProperty.naturalityProperty.stableUnderInverse

Modification history