Theorem EReal.toReal_neg_eq

Modification history

2025-11-25 16:42
Mathlib/Data/EReal/Operations.lean
feat(Data/EReal): toReal_pos (#30746)
Added EReal.toReal_neg_eqView on Github →