Theorem Real.infᵢ_nonneg

Modification history

2023-05-14 07:05

Mathlib/Data/Real/Basic.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Deleted Real.infᵢ_nonneg View on Github →

2023-03-11 14:23

Mathlib/Data/Real/Basic.lean

feat: port Topology.MetricSpace.Gluing (#2711)

Added Real.infᵢ_nonneg View on Github →