Def Mathlib.Notation3.withHeadRefIfTagAppFns

Modification history

2025-01-20 18:16
Mathlib/Util/Notation3.lean
feat: `notation3`-defined pretty printers now make tokens that are clickable in documentation (#20861) …
Added Mathlib.Notation3.withHeadRefIfTagAppFnsView on Github →