mathlib3
51d8fe41 - Define `next` in terms of a `next_or`
Commit
View On GitHub
Commit
4 years ago
Define `next` in terms of a `next_or`
Author
Vierkantor Vierkantor
Parents
678703e3
FAQ Terms Privacy Refunds Impressum
Loading