Theorem CategoryTheory.MorphismProperty.fst'_self_eq_snd

Modification history