Def CategoryTheory.Limits.walkingParallelFamilyEquivWalkingParallelPair

Modification history