Theorem ChainCompletePartialOrder.IsExtremePt.bot_eq_of_le_or_map_le

Modification history

2025-11-03 16:36
Mathlib/Order/BourbakiWitt.lean
feat(Order): the Bourbaki–Witt theorem (#29652) …
Added ChainCompletePartialOrder.IsExtremePt.bot_eq_of_le_or_map_leView on Github →