Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-23 15:36 f340f229

View on Github →

doc(data/nat/prime): prime ≠ nat.prime (#17689)

Estimated changes