Commit 2025-06-04 02:56 5443d88c
View on Github →feat(ContinuousFunctionalCalculus): a ^ y
is invertible iff a
is invertible (#25005)
This PR shows that a ^ y
is invertible iff a
is also invertible, where the power is defined via the continuous functional calculus.