2.4 Properties of Fin

AndFinEqvChopStateAndEmpty
FinChopEqvOr
FinChopEqvDiamond
FinYields
AndFinChopEqvStateAndChop
DiAndFinEqvChopState
BiImpFinEqvYieldsState
ChopFinImpFin
FinImpYieldsFin
ChopAndFin
ChopAndNotFin
FinChopChain
ChopRule
ChopRep
ChopRepAndFin
MoreChopLoop
MoreChopContra
ChopLoop
ChopContra

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