Def Mathlib.Meta.NormNum.evalNatPrime

Modification history

2024-10-14 12:17
Mathlib/Tactic/NormNum/Prime.lean
chore: unused arguments (#17348)
Modified Mathlib.Meta.NormNum.evalNatPrimeView on Github →
2023-05-22 22:00
Mathlib/Tactic/NormNum/Prime.lean
feat: port Data.Nat.PrimeNormNum (#3892) …
Added Mathlib.Meta.NormNum.evalNatPrimeView on Github →