Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-07 17:59
3ce877a1
View on Github →
chore(DomMulAct): remove decidability assumptions (
#17510
) Found by the linter in
#10235
.
Estimated changes
Modified
Mathlib/GroupTheory/Perm/DomMulAct.lean
modified
theorem
DomMulAct.stabilizer_card