mathlib

3cb247c3 - chore(algebra/ordered_monoid_lemmas): change additive name `left.add_nonneg` to `right.add_nonneg` (#8065)

chore(algebra/ordered_monoid_lemmas): change additive name `left.add_nonneg` to `right.add_nonneg` (#8065) A copy-paste error in the name of a lemma that has not been used yet. Change `pos_add` to `add_pos`. I also added some paragraph breaks in the documentation. Co-authored by Eric Wieser.