pub fn inner_product_subfield<F, FSub>( a: impl IntoIterator<Item = FSub>, b: impl IntoIterator<Item = F>, ) -> Fwhere F: Field + ExtensionField<FSub>, FSub: Field,