Theorem CategoryTheory.Limits.Cone.ofFork_π

Modification history