The reason why we put x/0= 0 is because it simplifies the statements of many laws, not because of any admiration of 0.
Larry > On 19 Jul 2016, at 11:24, Manuel Eberl <ebe...@in.tum.de> wrote: > > The obvious possibility would be to just let all non-prime numbers have > multiplicity 0. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev