Theorem separated_def

Modification history