Def q'

Modification history

2024-10-23 22:11
test/reduce_mod_char.lean
feat(Tactic/ReduceModChar): add fast modular exponentiation (#18030) …
Added q'View on Github →