Theorem CategoryTheory.Limits.equalizerComparison_comp_π

Modification history