Theorem Set.sigma_empty

Modification history