Theorem Nat.not_prime_mul'
Modification history
2025-06-04 10:11
Mathlib/Data/Nat/Prime/Basic.lean
chore(Data): remove primes from names (#25163) …
Deleted Nat.not_prime_mul'View on Github →2024-10-25 20:03
Mathlib/Data/Nat/Prime/Basic.lean
chore(Data/Nat/Prime): split `Defs`; rearrange `Basic` (#18233) …
Modified Nat.not_prime_mul'View on Github →