Theorem Set.Nontrivial.image_of_injOn

Modification history