Battery Resizing Enabled by Vehicle Lightweighting: Implications for Battery-Pack Manufacturing Emissions, Cost, and Critical Mineral Demand in Battery Electric Vehicles | Synapse