Index - S
| substitute# | |
| 1 (Function) | Arithmetic.Nat |
| 2 (Function) | Arithmetic.Fin |
| substituteL | |
| 1 (Function) | Arithmetic.Lte |
| 2 (Function) | Arithmetic.Lt |
| substituteL# | Arithmetic.Lte |
| substituteR | |
| 1 (Function) | Arithmetic.Lte |
| 2 (Function) | Arithmetic.Lt |
| substituteR# | Arithmetic.Lte |
| succ | |
| 1 (Function) | Arithmetic.Nat |
| 2 (Function) | Arithmetic.Fin |
| succ# | |
| 1 (Function) | Arithmetic.Nat |
| 2 (Function) | Arithmetic.Fin |
| symmetric | Arithmetic.Equal |
| symmetric# | Arithmetic.Equal |