Disjunction elimination

ID: disjunction-elimination

New to topics? Read the docs here!