Theorem g_apply

Modification history

2026-03-05 09:00
MathlibTest/DSimpPercent.lean
feat: add `dsimp%` elaborator (#36043) …
Added g_applyView on Github →