Theorem setOf_liouville_eq_irrational_inter_iInter_iUnion

Modification history