Theorem Real.ofCauchy_div

Modification history

2024-04-06 09:41
Mathlib/Data/Real/Basic.lean
refactor: Avoid `Rat` internals in the definition of `Field` (#11639) …
Added Real.ofCauchy_divView on Github →