Theorem OpenSubgroup.isClopen

Modification history