Thm* S:Sequent. Full(S) Assignment full_sequent_assignment_inc

In prior sections: assignment valuation formula satisfaction formula falsification sat lemmas sequent satisfaction sequent falsification sequent sat lemmas