mathlib3
9228ff9c - feat(algebra/ordered_group): abs_sub (#7850)

Commit

4 years ago

feat(algebra/ordered_group): abs_sub (#7850) - rename `abs_sub` to `abs_sub_comm` - prove `abs_sub`

Author

YaelDillies

Parents