Theorem Function.Bijective.Prod_map

Modification history