Axiom Dependencies

proveit.logic.booleans.true_axiom

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.logic.booleans import true_axiom

%dependencies true_axiom

Theorems/conjectures that depend directly on true_axiom

proveit.core_expr_types.tuples.tuple_eq_via_elem_eq

proveit.logic.booleans.conjunction.nand_if_not_right

proveit.logic.booleans.disjunction.binary_closure

proveit.logic.booleans.implication.eq_from_mutual_impl

proveit.logic.booleans.implication.false_implies_true

proveit.logic.booleans.negation.double_negation_elim_lemma

proveit.logic.booleans.negation.double_negation_equiv

proveit.numbers.summation.finite_geom_sum

proveit.numbers.summation.sum_first_n_int

proveit.physics.quantum.QPE._Omega_is_sample_space

proveit.physics.quantum.QPE._pfail_in_real

proveit.physics.quantum.QPE._sample_space_bijection

proveit.physics.quantum.QPE._success_complements_failure