Theorem OpenSubgroup.isClosed

Modification history