Theorem Complex.conj_ofNat

Modification history

2024-03-29 22:03
Mathlib/Data/Complex/Basic.lean
chore: remove Complex/RCLike bit0/1 lemmas (#11414) …
Added Complex.conj_ofNatView on Github →