mathlib3
abf6b919 - Update src/data/finsupp/witnesses.lean
Commit
View On GitHub
Commit
3 years ago
Update src/data/finsupp/witnesses.lean Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
Author
adomani adomani
Parents
2fd8c104
FAQ Terms Privacy Refunds Impressum
Loading