Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/replace
/
.
/
tests
/
lean
/
inlineIssue.lean.expected.out
blob: 139597f9cb07c5d48bed18984ec4747f4b4f3438 [
file
] [
edit
]
