Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/setConfig
/
.
/
tests
/
lean
/
matchMultAlt.lean.expected.out
blob: 7f071b0ef36b76c3e6d56a2d9b4b384b526fd93d [
file
] [
edit
]
0
or
1
0
or
1
greater than
1
0
or
1
0
or
1
greater than
1
