coal or other mine
Defined in 1 dictionary — U.S. Code
United States Code
15 U.S.C. § 78m-2 — in this section (2 versions over time)
the term “coal or other mine” means a coal or other mine, as defined in section 3 of the Federal Mine Safety and Health Act of 1977 (30 U.S.C. 802), that is subject to the provisions of such Act (30 U.S.C. 801 et seq.); and