Structure Convert.CheapConfig

Modification history

2026-06-05 14:31

Mathlib/Tactic/Convert.lean

feat(Tactic): `convert` discharges side goals reducibly (#39928) …

Added Convert.CheapConfig View on Github →