Theorem finset_disjoint_finset_opens_of_t2

Modification history