## Package relation-1.62

### Information

versions | 1.0→ ··· →1.60→1.61→ 1.62 |

description | Relation operators |

author | Joe Leslie-Hurd <joe@gilith.com> |

license | MIT |

installed | 21:20:53 on Monday 5 December 2016 |

For more details see the package document.

### Includes

- relation-def-1.25 — Definition of relation operators
- relation-thm-1.15 — Properties of relation operators
- relation-well-founded-1.55 — Well-founded relations
- relation-natural-1.38 — Relations over natural numbers

### Included By

- base-1.205 — The standard theory library
- base-1.206 — The standard theory library
- base-1.207 — The standard theory library
- base-1.208 — The standard theory library
- base-1.209 — The standard theory library