basic): clean up instances (#18714)

Commit

2 years ago

feat(set_theory/cardinal/basic): clean up instances (#18714) We add a missing `linear_ordered_comm_monoid_with_zero` instance and reorder others.

Author

vihdzp

Parents