Theorem Subgroup.inv_subset_closure

Modification history