Theorem Filter.isCountablyGenerated_of_seq

Modification history