Theorem countable_bInter_mem

Modification history