Theorem Set.powersetCard.addAction_faithful

Modification history

2026-09-18 15:04
Mathlib/GroupTheory/GroupAction/SubMulAction/Combination.lean
chore: catch up on a lot of `to_additive` debt (#43814) …
Deleted Set.powersetCard.addAction_faithfulView on Github →
2026-02-02 08:05
Mathlib/GroupTheory/GroupAction/SubMulAction/Combination.lean
feat(GroupTheory/GroupAction/SubMulAction/Combination): primitivity of the permutation action. (#34307) …
Modified Set.powersetCard.addAction_faithfulView on Github →
2026-01-29 18:04
Mathlib/GroupTheory/GroupAction/SubMulAction/Combination.lean
chore(GroupTheory/GroupAction/SubMulAction/Combination.lean): rename Nat.Combination to Set.powersetCard (#34581) …
Added Set.powersetCard.addAction_faithfulView on Github →