Def Mathlib.Tactic.elabNameVariablesOver

Modification history

2025-07-03 08:00

Mathlib/Tactic/Ring/NamePolyVars.lean

feat(Tactic/Ring/NamePolyVars): A command for naming variables in polynomial rings (#26652)

Added Mathlib.Tactic.elabNameVariablesOver View on Github →