Def Hyperreal.epsilon

Modification history

2026-01-23 10:44

Mathlib/Analysis/Real/Hyperreal.lean

feat(Analysis/Real/Hyperreal): more lemmas on `ω` and `ε` (#33649) …

Added Hyperreal.epsilon View on Github →