Theorem Sigma.eta

Modification history