Theorem Part.inter_def

Modification history