Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.not_prime_of_int_mul

Modification history

2020-11-15 04:56

src/data/int/nat_prime.lean

refactor(archive/imo/imo1969_q1): prove `infinite` statement, cleanup (#4391) …

Added int.not_prime_of_int_mul View on Github →