Theorem Part.assert_defined

Modification history