Mathlib v3 is deprecated. Go to Mathlib v4

Theorem hyperreal.infinitesimal_mul

Modification history

2020-05-10 00:45

src/data/real/hyperreal.lean

chore(*): move to lean-3.11.0 (#2632) …

Modified hyperreal.infinitesimal_mul View on Github →

2019-07-03 00:58

src/data/real/hyperreal.lean

feat(measure_theory): Define Bochner integration (#1149) …

Modified hyperreal.infinitesimal_mul View on Github →

2019-05-07 19:03

src/data/real/hyperreal.lean

building the hyperreal library (#835) …

Added hyperreal.infinitesimal_mul View on Github →