mathlib3
8f873b72
- chore(data/nat/prime): move some results (#11066)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
chore(data/nat/prime): move some results (#11066) I was expecting there'd be more that could be moved, but it doesn't seem like it.
Author
Ruben-VandeVelde
Parents
0c149c90
Loading