Theorem Set.Finite.injOn_of_encard_image_eq

Modification history