Commit 2024-05-06 07:35 075ae93c

View on Github →

feat(Analysis/SpecialFunctions/Pow/Real): rpow_ne_zero (#12428)

Estimated changes

added theorem Real.rpow_ne_zero