Commit 2025-10-25 17:18 36f4b59c

View on Github →

chore(Data/ENNReal): deprecate duplicate sup_eq_zero (#30883) ENNReal.sup_eq_zero is a duplicate of ENNReal.max_eq_zero_iff, so it is deprecated.

Estimated changes