Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-23 06:08
4003b568
View on Github →
fix: fix Q-smul diamond in Complex (
#5341
)
Estimated changes
Modified
Mathlib/Data/Complex/Basic.lean
modified
theorem
Complex.rat_cast_re
added
theorem
Complex.real_smul
added
theorem
Complex.smul_im
added
theorem
Complex.smul_re
Modified
Mathlib/Data/Complex/Module.lean
deleted
theorem
Complex.real_smul
deleted
theorem
Complex.smul_im
deleted
theorem
Complex.smul_re