Theorem Nat.prime_one_false

Modification history

2025-02-28 15:04
Mathlib/Data/Nat/Prime/Defs.lean
fix: `not_prime_zero` and `not_prime_one` Aesop rules (#22394) …
Added Nat.prime_one_falseView on Github →