proveit.numbers.division.frac_zero_numer
proveit.numbers.number_sets.integers.zero_is_int
proveit.logic