Theorem Dependencies¶

proveit.numbers.number_sets.real_numbers.rational_neg_within_real_neg ¶

see proof

In [1]:

import proveit
# Automation is not needed when querying dependencies:
proveit.defaults.automation = False # This will speed things up.
proveit.defaults.inline_pngs = False # Makes files smaller.
from proveit.numbers.number_sets.real_numbers import rational_neg_within_real_neg

In [2]:

%dependencies rational_neg_within_real_neg

Unproven conjectures required (directly or indirectly) to prove rational_neg_within_real_neg

proveit.numbers.number_sets.real_numbers.rational_neg_within_real_neg

Theorems/conjectures that depend directly on rational_neg_within_real_neg

proveit.physics.quantum.QPE._Psi_output

proveit.physics.quantum.QPE._delta_b_floor_diff_in_interval

proveit.physics.quantum.QPE._modabs_in_full_domain_simp

proveit.physics.quantum.QPE._outcome_prob