proveit.physics.quantum.QPE._scaled_delta_b_is_zero_or_non_int
proveit.logic