Theorem Filter.mem_lift'

Modification history