Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.fact_prime_two

Modification history

2022-02-01 12:46
src/data/nat/prime.lean
chore(*): register global fact instances (#11749) …
Deleted nat.fact_prime_twoView on Github →
2021-11-28 20:23
src/data/nat/prime.lean
chore(data/nat/prime): `fact (2.prime)` (#10441)
Added nat.fact_prime_twoView on Github →