Theorem WithBot.ofDual_symm

Modification history

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