Theorem Set.ncard_preimage_ofInjective_subset_range

Modification history