Theorem Filter.isCountablyGenerated_iff_exists_antitone_basis

Modification history