Def CategoryTheory.Limits.parallelPairHom

Modification history