Previous:
ii
, Up:
Predicate Rules
6.3.9 Identity Elimination