Theorem WithBot.ofDual_bot

Modification history

2025-12-31 09:42
Mathlib/Order/WithBot.lean
chore(Order/WithBot): rename some theorems (#33413)
Added WithBot.ofDual_botView on Github →