Theorem Nat.Prime.eq_two_or_odd'

Modification history

2024-10-25 20:03

Mathlib/Data/Nat/Prime/Basic.lean

chore(Data/Nat/Prime): split `Defs`; rearrange `Basic` (#18233) …

Modified Nat.Prime.eq_two_or_odd'View on Github →

2024-07-03 08:52

Mathlib/Data/Nat/Prime/Basic.lean

chore(Data/Nat): refactor import of `Nat/Prime` by `Nat/Factors` (#14357) …

Modified Nat.Prime.eq_two_or_odd'View on Github →

2024-07-02 02:30

Mathlib/Data/Nat/Prime/Basic.lean

chore(Data/Nat): split Prime.lean (#14286) …

Modified Nat.Prime.eq_two_or_odd'View on Github →

2022-12-22 18:28

Mathlib/Data/Nat/Prime.lean

feat: port data.nat.prime (#1156) …

Added Nat.Prime.eq_two_or_odd'View on Github →