Theorem Subgroup.isOpen_mono

Modification history