Theorem Function.LeftInverse.Prod_map

Modification history