Theorem Subgroup.closure_insert_one

Modification history