Commit 2021-10-15 13:06 3d63bb8e

View on Github →

fix: remove zero diamond (#72)

Estimated changes

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