mathlib3
ac387b03 - Update src/data/fin/basic.lean
Commit
View On GitHub
Commit
2 years ago
Update src/data/fin/basic.lean Co-authored-by: negiizhao <egresf@gmail.com>
Author
ChrisHughes24 ChrisHughes24
Parents
ce933107
FAQ Terms Privacy Refunds Impressum
Loading