Theorem Set.sigma_univ_range_eq

Modification history