proveit.physics.quantum.QPE._two_pow_t_minus_one_is_nat_pos
proveit.physics.quantum.QPE._scaled_delta_b_floor_in_interval
proveit.logic
proveit.numbers
proveit.physics.quantum.QPE._scaled_abs_delta_b_floor_diff_interval
proveit.core_expr_types
proveit.physics.quantum.QPE._delta_b_not_eq_scaledNonzeroInt
proveit.physics.quantum.QPE._delta_b_floor_diff_in_interval
proveit.physics.quantum.QPE._scaled_delta_b_not_eq_nonzeroInt
proveit.physics.quantum.QPE._best_floor_is_int
proveit.physics.quantum.QPE._mod_add_closure
proveit.physics.quantum.QPE._delta_b_is_real
proveit.physics.quantum.QPE._two_pow_t_is_nat_pos
proveit.physics.quantum.QPE._alpha_are_complex
proveit.physics.quantum.QPE._alpha_summed
proveit.physics.quantum.QPE._non_int_delta_b_diff
proveit.trigonometry