*To*: isabelle-users at cl.cam.ac.uk*Subject*: [isabelle] inverse definition in modulo p*From*: kuecuek at rbg.informatik.tu-darmstadt.de*Date*: Thu, 19 Oct 2006 14:18:44 +0200*User-agent*: KMail/1.9.1

Hallo everbody, is there any definition about the inverse of a number in modulo another number? for Example inv x p =y ==> y*x =1 mod p thanks

**Follow-Ups**:**Re: [isabelle] inverse definition in modulo p***From:*Jeremy Avigad

- Previous by Date: Re: [isabelle] monotonicity lemmas for embedded lists
- Next by Date: Re: [isabelle] inverse definition in modulo p
- Previous by Thread: [isabelle] Special Issue of Information and Computation on 'Computer Security: Foundations and Automated Reasoning'
- Next by Thread: Re: [isabelle] inverse definition in modulo p
- Cl-isabelle-users October 2006 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list