Theorem PSigma.«exists»

Modification history