Theorem Complex.I_pow_eq_pow_mod

Modification history

2025-03-30 03:51
Mathlib/Data/Complex/Basic.lean
feat(CStarAlgebra): define positive maps and show their continuity (#23210) …
Added Complex.I_pow_eq_pow_modView on Github →