Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/1707.lean
blob: f34de0b48ce70ca05e8eb58d6360d7f420c45216 [file] [edit]
def y := c.5ΓΏ