Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/expose-array-back
/
.
/
tests
/
elab
/
2009.lean
blob: f945effd823c6bf9964d2331c9cef3768da98c33 [
file
] [
edit
]
local
notation
(
name
:=
foo
)
"foo"
=>
42
