Mathlib Changelog
v4
Changelog
About
Github
Commit
2021-10-15 13:06
3d63bb8e
View on Github →
fix: remove zero diamond (
#72
)
Estimated changes
Modified
Mathlib/Algebra/Group/Defs.lean
Modified
Mathlib/Algebra/GroupWithZero/Defs.lean
Modified
Mathlib/Algebra/Ring/Basic.lean
deleted
theorem
Int.ofNat_eq_ofNat
deleted
theorem
Semiring.ofNat_pow
modified
theorem
add_mul
modified
theorem
mul_add
deleted
theorem
mul_zero
added
theorem
ofNat_add
added
theorem
ofNat_eq_ofNat
added
theorem
ofNat_mul
added
theorem
ofNat_one
added
theorem
ofNat_pow
added
theorem
ofNat_zero
deleted
theorem
zero_mul
Modified
Mathlib/Tactic/NormNum.lean