Theorem isClopen_iInter_of_finite

Modification history