Theorem Filter.lift_inf

Modification history