Theorem f_apply

Modification history

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