NaturalNumbersObject_ch9_8.v

   1 Generalizable All Variables.
   2
   3 (*******************************************************************************)
   4 (* Chapter 9.8: Natural Numbers Object                                         *)
   5 (*******************************************************************************)
   6
   7
   8
   9