Axiom¶

class proveit.Axiom(expr, theory, name, *, _proven_truth=None, _requirements=None, _marked_req_indices=None)[source]¶

Methods Summary

`all_dependents`(self)
`direct_dependents`(self)	Returns the theorems that depend directly upon this axioms.
`get_link`(self)	Return the HTML link to the axiom definition.
`step_type`(self)
`used_axioms`(self)	Returns the set of names of axioms that are used directly (not via other theorems) in this proof.

Methods Documentation

direct_dependents(self)[source]¶: Returns the theorems that depend directly upon this axioms.

used_axioms(self)[source]¶: Returns the set of names of axioms that are used directly (not via other theorems) in this proof.

Prove-It