The reason why we put x/0= 0 is because it simplifies the statements of many 
laws, not because of any admiration of 0. 


> On 19 Jul 2016, at 11:24, Manuel Eberl <> wrote:
> The obvious possibility would be to just let all non-prime numbers have 
> multiplicity 0.

isabelle-dev mailing list

Reply via email to