Theorem CategoryTheory.MorphismProperty.StableUnderInverse.unop

Modification history