Theorem Part.some_union_some

Modification history