mathlib3
a1b1c992 - Update src/algebra/order/field/pi.lean
Commit
View On GitHub
Commit
3 years ago
Update src/algebra/order/field/pi.lean Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>
Author
kim-em kim-em
Parents
7c3d0719
FAQ Terms Privacy Refunds Impressum
Loading