mathlib3

chore(algebra/ordered_field): add simp attributes to inv_pos' and others

#1400

Merged