Theorem mem_maximals_iff_forall_lt_not_mem

Modification history