src/sage/rings/real_interval_field.py: Remove; deprecated in #24371 (2018)
References
#36307 - `sage.rings`: Remove code deprecated in #23204, #24483, #24371, #24511, #25848, #26105, #28481, #29010, #29412, #30332, #30372, #31345, #32375, #32606, #32610, #32612, #32641, #32660, #32750, #32869, #33602
sage
a7992bd4 - src/sage/rings/real_interval_field.py: Remove; deprecated in #24371 (2018)
