Next: , Previous: co, Up: Equivalence Rules


6.2.5 Idempotence