absolute_value): add ext lemma (#17883)

Commit

3 years ago

feat(algebra/order/absolute_value): add ext lemma (#17883) Add an extension lemma for `absolute_value`

Author

xroblot

Parents