Create nat_ord_theory.idr