Theorem WType.toSigma_ofSigma

Modification history