Theorem CategoryTheory.Limits.map_lift_equalizerComparison

Modification history