Theorem isCoprime_group_smul_right

Modification history