Mathlib v3 is deprecated. Go to Mathlib v4

Def iterated_primality_test_aux

Modification history

2021-03-24 16:04
test/random.lean
feat(tactic/lint): linter for @[class] def (#6061) …
Modified iterated_primality_test_auxView on Github →
2020-09-12 15:49
test/random.lean
feat(slim_check): add test cases (#4100)
Modified iterated_primality_test_auxView on Github →
2020-08-21 00:08
test/slim_check.lean
feat(system/random): a monad for (pseudo-)randomized computations (#3742)
Added iterated_primality_test_auxView on Github →