mathlib
34e0f313 - feat(nnreal): absolute value (#4098)

Commit
5 years ago
feat(nnreal): absolute value (#4098) Co-authored-by: Johan Commelin <johan@commelin.net>
Author
Parents
Loading