Theorem Filter.lift'_inf_principal_eq

Modification history