mathlib3
e201464a - Update src/data/fin/basic.lean
Commit
View On GitHub
Commit
3 years ago
Update src/data/fin/basic.lean Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Author
ChrisHughes24 ChrisHughes24
Parents
b1f9a377
FAQ Terms Privacy Refunds Impressum
Loading