proveit.physics.quantum.QPE._scaled_delta_b_not_eq_nonzeroInt
proveit.physics.quantum.QPE._two_pow_t_is_nat_pos
proveit.physics.quantum.QPE._delta_b_is_real
proveit.physics.quantum.QPE._best_round_is_int
proveit.physics.quantum.QPE._best_floor_is_int
proveit.logic
proveit.numbers