field): Linearly ordered semifields (#15027)

Commit

3 years ago

feat(algebra/order/field): Linearly ordered semifields (#15027) Define `linear_ordered_semifield` and generalize lemmas within `algebra.order.field`.

Author

YaelDillies

Parents