Theorem Filter.lift_lift_same_eq_lift

Modification history