Mathlib v3 is deprecated. Go to Mathlib v4

Def nnreal

Modification history

2018-08-21 21:22
analysis/nnreal.lean
refactor(analysis/nnreal): split up into data.real and analysis part
Modified nnrealView on Github →
2018-08-08 00:44
analysis/nnreal.lean
refactor(category_theory/products): tweak PR after merge
Added nnrealView on Github →