Theorem Filter.iInf_principal_finset

Modification history