Mathlib Changelog
v4
Changelog
About
Github
Theorem
Complex.conj_nat_cast
Modification history
2024-04-17 11:15
Mathlib/Data/Complex/Basic.lean
chore: Rename `nat_cast`/`int_cast`/`rat_cast` to `natCast`/`intCast`/`ratCast` (#11486) …
Deleted
Complex.conj_nat_cast
View on Github →
2024-03-29 22:03
Mathlib/Data/Complex/Basic.lean
chore: remove Complex/RCLike bit0/1 lemmas (#11414) …
Added
Complex.conj_nat_cast
View on Github →