mathlib3
774c38f0 - feat(ring_theory/algebraic): add transcendental.pow (#16057)

Commit

3 years ago

feat(ring_theory/algebraic): add transcendental.pow (#16057) Co-authored-by: Jujian Zhang <jujian.zhang1998@outlook.com>

Author

Ruben-VandeVelde

Parents