mathlib
359261ef - feat(data/nat): commutativity of bitwise operations (#3956)

Commit

5 years ago

feat(data/nat): commutativity of bitwise operations (#3956)

References

#4925 - Make prime-avoidance branch build

Author

TwoFX

TwoFX

Parents

Loading