Theorem Subgroup.conjAct_pointwise_smul_eq_self

Modification history

2025-12-07 16:03
Mathlib/Algebra/Group/Subgroup/Pointwise.lean
feat(ModularForms): norm and trace maps (#32460) …
Added Subgroup.conjAct_pointwise_smul_eq_selfView on Github →