Theorem csInf_univ

Modification history

2024-07-13 19:14

Mathlib/Order/ConditionallyCompleteLattice/Basic.lean

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

Modified csInf_univ View on Github →

2023-05-14 07:05

Mathlib/Order/ConditionallyCompleteLattice/Basic.lean

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

Added csInf_univ View on Github →