Mathlib Changelog
v4
Changelog
About
Github
Def
Tactic.ReduceModChar.normBareNumeral
Modification history
2024-10-23 22:11
Mathlib/Tactic/ReduceModChar.lean
feat(Tactic/ReduceModChar): add fast modular exponentiation (#18030) …
Added
Tactic.ReduceModChar.normBareNumeral
View on Github →