Theorem Part.mem_ωSup

Modification history