Def Convert.elabConfig

Modification history

2026-06-05 14:31
Mathlib/Tactic/Convert.lean
feat(Tactic): `convert` discharges side goals reducibly (#39928) …
Added Convert.elabConfigView on Github →