duality.ma nat/minus.ma
exercise-induction.ma nat/minus.ma
shannon.ma nat/minus.ma
algebra.ma nat/compare.ma nat/times.ma
exercise-duality.ma nat/minus.ma
induction.ma nat/minus.ma
nat/compare.ma 
nat/minus.ma 
nat/times.ma