Theorem Filter.map_lift_eq2

Modification history