proveit.logic.booleans.disjunction.false_or_false_negated
proveit.logic.booleans.disjunction.false_or_true
proveit.logic.booleans.disjunction.or_if_left
proveit.logic.booleans.forall_over_bool_by_cases
proveit.logic.booleans.in_bool_if_true
proveit.logic.booleans.quantification.universality.bundle
proveit.numbers.numerals.decimals.posnat1