Generalization

class proveit.Generalization(instance_truth, new_forall_param_lists, new_conditions=(), new_antecedent=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]