Theorem isTotallyDisconnected_of_clopen_set

Modification history