mathlib
89f4786e - feat(analysis/special_functions/pow): norm_num extension for rpow (#11382)

Commit
4 years ago
feat(analysis/special_functions/pow): norm_num extension for rpow (#11382) Fixes #11374
Author
Parents
Loading