Re: [firedrake] replacing indexed mixed coefficients

Thanks Lawrence! I think that our use case also requires replacement of indexes into mixed coefficients with non-mixed coefficients as well. all the best --Colin