Theorem AddAction.toPerm_zero

Modification history

2026-09-18 15:04
Mathlib/Algebra/Group/Action/End.lean
chore: catch up on a lot of `to_additive` debt (#43814) …
Deleted AddAction.toPerm_zeroView on Github →
2025-12-01 10:02
Mathlib/Algebra/Group/Action/End.lean
feat(GroupTheory/GroupAction/SubMulAction/Combination): combinations and group actions (#27107) …
Added AddAction.toPerm_zeroView on Github →