Theorem Set.image_nontrivial

Modification history