Theorem Set.sigma_insert

Modification history