Conditional Elimination or Modus Ponens as it is traditionally known is one of the most familiar of all rules of inference.
Preview shown for the Typed Forward Strict derivation type in the LRC_O system
