Theorem Part.some_get

Modification history