Theorem TypeVec.prod_map_id

Modification history