Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/floatbits
/
.
/
tests
/
lean
/
1576.lean
blob: bfa141a069d15408ec3009eb9159db263d1513f5 [
file
] [
edit
]
example
:
True
:=
by
rw
(
config
:=
non
/
sense
)
[]
