Description: Equality deduction for indexed intersections. (Contributed by Giovanni Mascellani, 10-Apr-2018)