Inductive CategoryTheory.Limits.WalkingParallelPairHom

Modification history