Theorem CategoryTheory.Limits.Trident.ofCone_π

Modification history