PR #2346 feat(data/real/nnreal): coe_max and coe_min

feat(data/real/nnreal): coe_max and coe_min #2346

mergify merged 1 commit into master from nnreal-lemmas

feat(data/real/nnreal): coe_max and coe_min

4471d53c

jcommelin added awaiting-review

ChrisHughes24 approved these changes on 2020-04-07

ChrisHughes24 removed awaiting-review

ChrisHughes24 added ready-to-merge

mergify merged d936c288 into master 5 years ago

mergify deleted the nnreal-lemmas branch 5 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone