[isabelle-dev] multiplicity and prime numbers

Lawrence Paulson lp15 at cam.ac.uk
Tue Jul 19 13:14:57 CEST 2016

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 <eberlm at in.tum.de> wrote:
> The obvious possibility would be to just let all non-prime numbers have multiplicity 0.

More information about the isabelle-dev mailing list