Theorem Filter.mem_principal

Modification history