Theorem Function.Injective.Prod_map

Modification history