Theorem CategoryTheory.Limits.Cone.w

Modification history