Def CategoryTheory.Limits.KernelFork.mapIsLimit

Modification history