Theorem prime_of_prime

Modification history

2024-05-02 13:42
test/rewrites.lean
chore: move to v4.8.0-rc1 (#12548) …
Deleted prime_of_primeView on Github →
2023-06-10 07:04
test/LibrarySearch/basic.lean
feat: better handling of symm in library_search (#4534) …
Added prime_of_primeView on Github →
2023-06-05 07:16
test/rewrites.lean
fix: rewrites doesn't fail when trying an unimported lemma (#4537) …
Added prime_of_primeView on Github →