Theorem Part.mem_some_iff

Modification history