Def Test.findWithTag

Modification history

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