mathlib3
chore(algebra/ordered_field): add simp attributes to inv_pos' and others
#1400
Merged
Merged
chore(algebra/ordered_field): add simp attributes to inv_pos' and others #1400
mergify
merged
2 commits into
master
from
ChrisHughes24-patch-1
chore(algebra/ordered_field): add simp attributes to inv_pos' and others
5105fcb1
jcommelin
approved these changes
on 2019-09-05
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into ChrisHughes24-patch-1
377972ed
Login to write a write a comment.
Login via GitHub