Theorem CommGroup.forall_apply_eq_apply_iff

Modification history

2026-07-03 09:38
Mathlib/GroupTheory/FiniteAbelian/Duality.lean
chore: fix bad indentation (#40853) …
Modified CommGroup.forall_apply_eq_apply_iffView on Github →
2026-02-26 19:49
Mathlib/GroupTheory/FiniteAbelian/Duality.lean
feat(GroupTheory/FiniteAbelian): construct bijection between subgroups and subgroups of the dual (#33792)
Added CommGroup.forall_apply_eq_apply_iffView on Github →