Structure Test.MyUnit

Modification history

2023-08-26 12:33

test/notation3.lean

feat: multiple `scoped` in `notation3` (#6793) …

Modified Test.MyUnit View on Github →

2023-06-02 12:48

test/notation3.lean

feat: `notation3` delaborator generation (#4533) …

Added Test.MyUnit View on Github →