Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-05-04 11:23
f52ba342
View on Github →
chore: forward-port leanprover-community/mathlib
#18922
(
#3779
)
Estimated changes
Modified
Mathlib/Data/Complex/Basic.lean
added
theorem
Complex.conj_eq_iff_im
added
theorem
Complex.conj_eq_iff_re
added
theorem
Complex.conj_eq_iff_real
deleted
theorem
Complex.eq_conj_iff_im
deleted
theorem
Complex.eq_conj_iff_re
deleted
theorem
Complex.eq_conj_iff_real
Modified
Mathlib/Data/Complex/Exponential.lean