Inductive CategoryTheory.Limits.WalkingParallelPair

Modification history