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

Reply via email to