Theorem CategoryTheory.Limits.map_lift_piComparison

Modification history