Theorem Cardinal.mk_image_eq_of_injOn

Modification history