Theorem Equiv.uniqueSigma_apply

Modification history