Theorem Mathlib.Meta.NormNum.isNat_natMod

Modification history

2023-03-08 13:41
Mathlib/Tactic/NormNum/Basic.lean
feat: add norm_num extension for the modulo operation for `ℕ` (#2241) …
Added Mathlib.Meta.NormNum.isNat_natModView on Github →