Closely related to the classical principle Ex Falso Quodlibet, Falsum elimination makes good on the definition of the falsum as a claim from which everything follows.
Preview shown for the Typed Forward Strict derivation type in the LRC_O system
