Theorem CategoryTheory.MorphismProperty.diagonal_iff

Modification history