Theorem Part.append_def

Modification history