Theorem liminf_min

Modification history

2026-09-03 13:27

Mathlib/Order/LiminfLimsup.lean

chore(Order/liminfLimsup): use `to_dual` (#37757) …

Deleted liminf_min View on Github →

2024-07-13 19:14

Mathlib/Order/LiminfLimsup.lean

feat(Order.LiminfLimsup): add limsup_max (#14564) …

Added liminf_min View on Github →