Theorem WithBot.toDual_symm

Modification history

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