mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(ring_theory/algebraic): add transcendental.pow

Open Ruben-VandeVelde opened this issue 3 years ago • 0 comments

Co-authored-by: Jujian Zhang [email protected]

Rewrite of a result from #15954.

Open in Gitpod

Ruben-VandeVelde avatar Aug 14 '22 21:08 Ruben-VandeVelde