chore(algebra/ordered_group)`: add `strict_mono.add_const/const_add` (#2926)
chore(algebra/ordered_group)`: add `strict_mono.add_const/const_add` (#2926)





leanprover-community/mathlib,leanprover-community/mathlib