mathlib
981f8baa - chore(*): remove some `assume`s (#9365)

Commit

4 years ago

chore(*): remove some `assume`s (#9365) Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents