Mathlib Changelog
v4
Changelog
About
Github
Theorem
Semiring.ofNat_pow
Modification history
2021-10-15 13:06
Mathlib/Algebra/Ring/Basic.lean
fix: remove zero diamond (#72)
Deleted
Semiring.ofNat_pow
View on Github →
2021-08-16 20:42
Mathlib/Algebra/Ring/Basic.lean
ring tactic (#33) …
Added
Semiring.ofNat_pow
View on Github →