Theorem ChainCompletePartialOrder.map_mem_bot

Modification history

2025-11-24 20:05
Mathlib/Order/BourbakiWitt.lean
chore: tidy various files (#31907)
Modified ChainCompletePartialOrder.map_mem_botView on Github →
2025-11-03 16:36
Mathlib/Order/BourbakiWitt.lean
feat(Order): the Bourbaki–Witt theorem (#29652) …
Added ChainCompletePartialOrder.map_mem_botView on Github →