Deduction

class proveit.Deduction(consequent_truth, antecedent_expr, *, _proven_truth=None, _requirements=None, _marked_req_indices=None)[source]

Bases: proveit.Proof

Methods Summary

step_type(self)

Methods Documentation

step_type(self)[source]