Theorem Ideal.map_fst_prod

Modification history