Theorem complex.of_real_fpow
Modification history
2021-10-27 17:47
src/data/complex/basic.lean
refactor(*): rename fpow and gpow to zpow (#9989) …
Deleted complex.of_real_fpowView on Github →2020-04-16 08:33
src/data/complex/basic.lean
refactor(tactic/norm_cast): simplified attributes and numeral support (#2407) …
Modified complex.of_real_fpowView on Github →