Commit 2025-08-13 15:11 563eed65
View on Github →chore: fix namespace of RatFunc.WithZero.valued_def (#27997)
An important corollary of this naming fix is that open WithZero becomes equivalent to open _root_.WithZero when inside the RatFunc namespace.
For this reason we make an exception and do not add the deprecation:
@[deprecated (since := "2025-08-13")] alias WithZero.valued_def := v_def
so that we do not have to wait until the deprecation has been removed to obtain this beneficial corollary.