Definition & Meaning of "firedamp"

a mixture of gases (mostly methane) that form in coal mines and become explosive when mixed with air