Theorem CategoryTheory.MorphismProperty.top_eq

Modification history