Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/lean_boot
/
.
/
gen
tree: b027a631516db3afa5f07e6b60105f0414de2d51 [
search
]
apply.lean
