Commit 2025-01-02 22:11 f36aaf36

View on Github →

chore(Order/Atoms): Add IsAtom.bot_lt and IsCoatom.lt_top (#20396)

Estimated changes

added theorem IsAtom.bot_lt
added theorem IsCoatom.lt_top