Theorem WithBot.unbotA_eq_unbot

Modification history

2025-10-16 08:08
Mathlib/Order/WithBot.lean
feat: Borel space on WithTop (#30543) …
Added WithBot.unbotA_eq_unbotView on Github →