Def Lean.Meta.Simp.Simp.Context.ofArgs

Modification history

2025-08-28 01:28

Mathlib/Lean/Meta/Simp.lean

feat(Tactic/FieldSimp): rewrite for performance and robustness (#28658) …

Added Lean.Meta.Simp.Simp.Context.ofArgs View on Github →