Theorem CategoryTheory.Limits.Fork.ofCone_π

Modification history