Commit 2025-03-20 20:33 627d9197

View on Github →

feat: ENNReal.toNNReal of a - b (#23134) From my PhD (MiscYD)

Estimated changes

added theorem ENNReal.toNNReal_sub
modified theorem ENNReal.toReal_sub_of_le