Def CategoryTheory.Limits.parallelPair.eqOfHomEq

Modification history