Theorem mem_maximals_iff_forall_ssubset_not_mem

Modification history