Theorem CategoryTheory.preserves_lift_mapCone

Modification history