Theorem CategoryTheory.MorphismProperty.RespectsIso.diagonal

Modification history