mathlib3
bc63071c - feat(algebra/is_prime_pow): dot notation for nat.prime (#12145)

Commit

3 years ago

feat(algebra/is_prime_pow): dot notation for nat.prime (#12145)

Author

ericrbg

ericrbg

Parents

Loading