Theorem Set.inj_on_of_surj_on_of_ncard_le

Modification history