Theorem isSimpleOrder_iff_isCoatom_bot

Modification history