Theorem CategoryTheory.Limits.Cone.ofTrident_π

Modification history