Theorem Function.injective.sigma_map

Modification history