Theorem Mathlib.Meta.NormNum.isNat_natSub

Modification history

2023-02-02 19:53
Mathlib/Tactic/NormNum/Basic.lean
norm_num nat subtraction (#1997) …
Added Mathlib.Meta.NormNum.isNat_natSubView on Github →