units): mark some lemmas as simp (#14871)

Commit

3 years ago

chore(algebra/group/units): mark some lemmas as simp (#14871) These seem like fairly natural candidates for simp lemmas.

Author

alexjbest

Parents