8.7 Some Properties of Chop-Star

We now consider some theorems and derived rules concerning chop-star.

ImpMoreChopStarEqvRule
ImpMoreChopStarChopEqvRule
SChopStarEqvSChopstarChopEmptyOrChopOmega

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