chore(GroupTheory): make smul_eq_self_of_mem_zpowers to_additive - #42764
Open
attilavjda wants to merge 1 commit into
Open
chore(GroupTheory): make smul_eq_self_of_mem_zpowers to_additive#42764attilavjda wants to merge 1 commit into
smul_eq_self_of_mem_zpowers to_additive#42764attilavjda wants to merge 1 commit into
