Commit 2026-03-20 21:34 4fea51b8
View on Github →chore(Analysis/SpecificLimits): rename tsum_geometric_nnreal to NNReal.tsum_geometric (#36831)
Rename tsum_geometric_nnreal to NNReal.tsum_geometric for consistency with ENNReal.tsum_geometric.
A deprecated alias is added for backwards compatibility.
Addresses the tsum_geometric_nnreal → NNReal.tsum_geometric item in #21584.