right

right

Coq < Goal B -> A \/ B.
1 subgoal

  ============================
   B -> A \/ B

Unnamed_thm4 < intro.
1 subgoal

  H : B
  ============================
   A \/ B

Unnamed_thm4 < right.
1 subgoal

  H : B
  ============================
   B

Unnamed_thm4 < assumption.
Proof completed.