Def Test.foobar

Modification history

2023-08-26 12:33
test/notation3.lean
feat: multiple `scoped` in `notation3` (#6793) …
Added Test.foobarView on Github →