https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Order/Ring/Pow.html
Mathlib.Algebra.Order.Ring.Pow
order ringmathlibalgebrapow
https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Order/Ring/Interval.html
Mathlib.Algebra.Order.Ring.Interval
order ringmathlibalgebrainterval
https://meetings-archive.aps.org/mar/2010/p31/1/
Phase-fluctuating regime of a ring-shaped Bose-Einstein condensate - Possible suggestions for order...
We study the phase-fluctuating condensate regime of ultra-cold atoms trapped in a ring-shaped geometry. We first consider a simplified box geometry, in which we
https://nova-jewelry.en.made-in-china.com/product/fZvQFCDJEikc/China-Fashion-Jewelry-Fraternal-Order-Ring-in-Stainless-Steel-with-Antique-Finish.html
Fashion Jewelry Fraternal Order Ring in Stainless Steel with Antique Finish - High Qualtiy and...
Fashion Jewelry Fraternal Order Ring in Stainless Steel with Antique Finish, Find Details and Price about High Qualtiy Manufacturer from Fashion Jewelry...
https://lkml.iu.edu/hypermail/linux/kernel/1811.2/06961.html
Linux-Kernel Archive: [PATCH net-next 3/3] vhost: don't touch avail ring if in_order is negotiated