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

Modification history