Theorem Subgroup.val_list_prod

Modification history