mathlib
a2449bfc
- pow_zero is no longer true by rfl
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
pow_zero is no longer true by rfl
References
#8146 - refactor(data/real/basic): golf the ring instance
Author
eric-wieser
Parents
558aedc4
Loading