StateChopExportA

(w f) ; g w StateChopExportA

The following lets us move a state formula into the left side of a chop:

2024-08-03
Contact | Home | ITL home | Course | Proofs | Algebra | FL
© 1996-2024