Def CategoryTheory.Limits.BinaryBicone.isLimitFstKernelFork

Modification history