Theorem Filter.mem_principal_self

Modification history