Theorem Filter.inf_principal_eq_bot

Modification history