Library Nijn.Prelude

Require Export Nijn.Prelude.Checks.
Require Export Nijn.Prelude.Funext.
Require Export Nijn.Prelude.Basics.Lemmas.
Require Export Nijn.Prelude.Basics.Decidable.
Require Export Nijn.Prelude.Basics.Finite.
Require Export Nijn.Prelude.Basics.Positions.
Require Export Nijn.Prelude.Relations.WellfoundedRelation.
Require Export Nijn.Prelude.Orders.CompatibleRelation.
Require Export Nijn.Prelude.Orders.MonotonicMaps.
Require Export Nijn.Prelude.Orders.Examples.
Require Export Nijn.Prelude.Relations.Lexico.
Require Export Nijn.Prelude.Relations.TransitiveClosure.