Theorem Set.encard_preimage_of_injective_subset_range

Modification history