tests/lean/2045.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google

Sign in

fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/2045.lean.expected.out

blob: e072e2cff88b94976999fc78188b742b06abdca7 [file] [edit]

(g ∘' f) x : γ

Powered by Gitiles| Privacy| Terms txt json