Theorem Subalgebra.mem_of_finset_sum_eq_one_of_pow_smul_mem

Modification history