Theorem ClopenUpperSet.isClopen

Modification history