Def injectIntoBaseIO

Modification history

2025-12-05 13:19
Mathlib/Util/MemoFix.lean
feat(translate): refactor `applyReplacementFun` and more (#32176) …
Added injectIntoBaseIOView on Github →