Theorem EReal.rec_coe

Modification history

2026-03-24 02:02
Mathlib/Data/EReal/Basic.lean
chore: bump toolchain to `v4.29.0-rc7` (#37034) …
Added EReal.rec_coeView on Github →