Def CategoryTheory.Limits.KernelFork.IsLimit.ofιOp

Modification history