Theorem CategoryTheory.Limits.piComparison_comp_π

Modification history