Def CategoryTheory.Limits.BinaryBicone.ofColimitCocone

Modification history