Theorem Part.none_ne_some

Modification history