Theorem Filter.lift_principal2

Modification history