Theorem Function.Injective.sigma_map

Modification history