Theorem CategoryTheory.Limits.BinaryBicone.binary_fan_fst_toCone

Modification history