Theorem WithBot.unbotA_lt_iff

Modification history

2025-12-18 23:55

Mathlib/Order/WithBot.lean

chore(Order/WithBot): add to_dual attributes (part 2) (#32626) …

Added WithBot.unbotA_lt_iff View on Github →