wr
hn
Top
New
Best
Ask
Show
Jobs
Back
Comment
Comment by fooker
No, 1/0 is not 0 in lean.
parent
fooker
1 month ago
Discussion
