mathlib
ac2f0118 - feat(data/*): Add sizeof lemmas. (#3745)

Commit

5 years ago

feat(data/*): Add sizeof lemmas. (#3745) Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com>

Author

DanielFabian

Parents