Def Mathlib.Meta.NormNum.tryNormNum

Modification history

2024-02-02 04:48

Mathlib/Tactic/NormNum/Core.lean

chore: move to v4.6.0-rc1, merging adaptations from bump/v4.6.0 (#10176)

Added Mathlib.Meta.NormNum.tryNormNum View on Github →