Theorem CategoryTheory.Limits.BinaryBicone.sndKernelFork_ι

Modification history