depends

   1 duality.ma nat/minus.ma
   2 exercise-induction.ma nat/minus.ma
   3 shannon.ma nat/minus.ma
   4 algebra.ma nat/compare.ma nat/times.ma
   5 exercise-duality.ma nat/minus.ma
   6 induction.ma nat/minus.ma
   7 nat/compare.ma
   8 nat/minus.ma
   9 nat/times.ma