Def CategoryTheory.Limits.BinaryBicone.toBiconeIsLimit

Modification history