Theorem Set.powersetCard.infinite

Modification history

2026-02-12 04:48

Mathlib/GroupTheory/GroupAction/SubMulAction/Combination.lean

chore: separate basic API for `Set.powersetCard` (#35068) …

Deleted Set.powersetCard.infinite View on Github →

2026-02-02 08:05

Mathlib/GroupTheory/GroupAction/SubMulAction/Combination.lean

feat(GroupTheory/GroupAction/SubMulAction/Combination): primitivity of the permutation action. (#34307) …

Added Set.powersetCard.infinite View on Github →