Theorem Part.get_some

Modification history