Theorem Filter.iInf_principal_finite

Modification history