Theorem IsAtom.bot_lt

Modification history

2025-01-02 22:11
Mathlib/Order/Atoms.lean
chore(Order/Atoms): Add IsAtom.bot_lt and IsCoatom.lt_top (#20396)
Added IsAtom.bot_ltView on Github →