CONJUNCT2 : (thm -> thm)

SYNOPSIS
Extracts right conjunct of theorem.

DESCRIBE
    A |- t1 /\ t2
   ---------------  CONJUNCT2
       A |- t2

FAILURE
Fails unless the input theorem is a conjunction.

SEEALSO  BODY_CONJUNCTS,   CONJUNCT1,   CONJ_PAIR,   CONJ,   LIST_CONJ,   CONJ_LIST,   CONJUNCTS

HOL  Kananaskis 0