Theorem Filter.disjoint_principal_principal

Modification history