Commit 2024-08-01 20:21 adcc6aa4

View on Github →

feat(Topology/ENNReal): zpow is continuous (#15381) Also add some fun_prop attrs

Estimated changes

deleted theorem ENNReal.continuous_pow