proveit.logic.booleans.forall_over_bool_by_cases