Theorem Set.le_ncard_of_inj_on_range

Modification history