Theorem Function.RightInverse.Prod_map

Modification history