Theorem mem_maximals_setOf_iff

Modification history