mathlib

f7e93d9e - chore(algebra/linear_ordered_comm_group_with_zero.lean): extend calc proofs (#7870)

chore(algebra/linear_ordered_comm_group_with_zero.lean): extend calc proofs (#7870) These are mostly cosmetic changes, simplifying a couple of calc proofs. The main motivation is to reduce the diff in the bigger PR #7645.