Theorem bdd_below_insert
Modification history
2023-08-28 11:58
src/order/bounds/basic.lean
chore(order/liminf_limsup): Generalise and move lemmas (#18628) …
Modified bdd_below_insertView on Github →2020-02-25 14:16
src/order/bounds.lean
refactor(order/bounds): use dot notation, reorder, prove more properties (#2028) …
Modified bdd_below_insertView on Github →