Theorem Acc.TransGen

Modification history