Def Tests.semireducibleId

Modification history

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