Theorem RCLike.conj_nat_cast

Modification history

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