Inductive CategoryTheory.Limits.WalkingParallelFamily

Modification history