Theorem Filter.lift'_principal

Modification history