Theorem isClopen_biUnion_finset

Modification history