mathlib
b877056e - feat(order/compare): general cleanup (#15665)

Commit

3 years ago

feat(order/compare): general cleanup (#15665) We add `swap_inj`, golf some lemmas, do some simple spacing tweaks.

Author

vihdzp

Parents