Theorem isLUB_congr_of_antisymmRel

Modification history

2026-04-21 16:31
Mathlib/Order/Bounds/Basic.lean
feat: miscellaneous results on `DirSupClosed` (#37670)
Added isLUB_congr_of_antisymmRelView on Github →