Theorem acc_def

Modification history