Theorem Part.some_ne_none

Modification history