mathlib
ba41f0a4 - feat(data/nat): API for test_bit and bitwise operations (#3964)

Commit

5 years ago

feat(data/nat): API for test_bit and bitwise operations (#3964)

References

#4925 - Make prime-avoidance branch build

Author

TwoFX

TwoFX

Parents

Loading