Theorem Part.assert_neg

Modification history