Theorem Sigma.forall'

Modification history