Def CategoryTheory.Arrow.squareToSnd

Modification history