Theorem CategoryTheory.Limits.map_lift_pullbackComparison

Modification history