Theorem PSigma.elim_val

Modification history