Theorem isBot_iff_isMin

Modification history