mathlib3
72816f95 - feat(data/real/nnreal): add `nnreal.forall` and `nnreal.exists` (#13774)

Commit

3 years ago

feat(data/real/nnreal): add `nnreal.forall` and `nnreal.exists` (#13774)

Author

urkud

urkud

Parents

Loading