mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(number_theory/miller_rabin): adding lemmas about the miller rabin primality test.

Open seangolinski7 opened this issue 3 years ago • 1 comments

Added a couple of lemmas and definitions that will be used in proving the Miller-Rabin primality test.

  • [x] depends on: #12973
  • [x] depends on: #12989

Open in Gitpod

seangolinski7 avatar Feb 23 '22 18:02 seangolinski7

This PR/issue depends on:

  • ~~leanprover-community/mathlib#12973~~
  • ~~leanprover-community/mathlib#12989~~ By Dependent Issues (🤖). Happy coding!

leanprover-community-bot-assistant avatar Apr 07 '22 18:04 leanprover-community-bot-assistant