Theorem Filter.HasAntitoneBasis.iInf_principal

Modification history