ModusPonens

class proveit.ModusPonens(implication_expr, assumptions=None, *, _proven_truth=None, _requirements=None, _marked_req_indices=None)[source]

Bases: proveit.Proof

Methods Summary

step_type(self)

Methods Documentation

step_type(self)[source]