CSChopEqvOrChopPlusChop

f ; g g f+ ; g CSChopEqvOrChopPlusChop

Proof:

1
fempty f+
def. of 
2
f ; g g f+ ; g

qed

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