Mathlib v3 is deprecated. Go to Mathlib v4

Theorem norm_num.is_prime_helper

Modification history

2020-10-31 20:22

src/tactic/norm_num.lean

refactor(tactic/norm_num): move norm_num extensions (#4822) …

Deleted norm_num.is_prime_helper View on Github →

2018-07-27 23:51

tactic/norm_num.lean

feat(tactic/norm_num): add support for primality proving

Added norm_num.is_prime_helper View on Github →