Commit 2022-09-30 13:10 98ed2a20
View on Github →move(algebra/order/ring_lemmas): Rename file (#16520)
Rename algebra.order.monoid_lemmas_zero_lt to algebra.order.ring_lemmas because algebra.order.monoid_lemmas_zero_lt is to algebra.order.ring what algebra.order.monoid_lemmas is to algebra.order.monoid.