Theorem Complex.conj_ofNat

Modification history

2025-01-02 08:45
Mathlib/Data/Complex/Basic.lean
chore: use `ofNat()` around `Real` and `Complex` (#20388) …
Modified Complex.conj_ofNatView on Github →
2024-03-29 22:03
Mathlib/Data/Complex/Basic.lean
chore: remove Complex/RCLike bit0/1 lemmas (#11414) …
Added Complex.conj_ofNatView on Github →