Theorem Set.image_image_val_eq_restrict_image

Modification history