mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

Generalize `lower_semicontinuous_supr` and variations to *conditionally* complete linear orders

Open ADedecker opened this issue 3 years ago • 0 comments

ADedecker avatar Oct 12 '22 19:10 ADedecker