Theorem Filter.bind_inf_principal

Modification history