Theorem WithTop.untop₀_ofNat

Modification history

2025-10-28 09:17
Mathlib/Algebra/Order/WithTop/Untop0.lean
feat: behavior of divisors when taking powers of meromorphic functions (#30238) …
Added WithTop.untop₀_ofNatView on Github →