Theorem CategoryTheory.Limits.BinaryBicone.toCocone_pt

Modification history