Simplification of disjunctive antecedents

ID: simplification-of-disjunctive-antecedents

New to topics? Read the docs here!