Def CategoryTheory.Limits.Bicone.toBinaryBicone

Modification history