Theorem Subalgebra.mem_of_finsetSum_eq_one_of_pow_smul_mem

Modification history

2026-04-26 16:26
Mathlib/Algebra/Algebra/Subalgebra/Operations.lean
chore: camel-case `finset_sum` in lemma names (#37793) …
Added Subalgebra.mem_of_finsetSum_eq_one_of_pow_smul_memView on Github →