Theorem Set.sigma_mono

Modification history