Remove prod_eta

It already exists in HoTT as eta_prod.