Theorem WithBot.toDual_bot

Modification history

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