Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/commandPrefix.lean
blob: 2af64cec430adfa6f1fcc2b130709851f73a7f83 [file] [edit]
#check show Id Unit from do ()
abbr