to_interval_mod): add `equiv` versions extracted from `add_circle` (#17739)

Commit

3 years ago

chore(algebra/order/to_interval_mod): add `equiv` versions extracted from `add_circle` (#17739)

Author

eric-wieser

Parents