Theorem RCLike.conj_ofNat

Modification history

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