Theorem Hyperreal.isSt_iff

Modification history

2026-08-11 12:14
Mathlib/Analysis/Real/Hyperreal.lean
chore: delete deprecated declarations/modules from January 2026 (#42075) …
Deleted Hyperreal.isSt_iffView on Github →
2026-03-06 17:09
Mathlib/Analysis/Real/Hyperreal.lean
refactor: deprecate bespoke `Hyperreal` machinery (#33650) …
Added Hyperreal.isSt_iffView on Github →