how to implement the projection operation? (For example j = 1.)
I tried to use args.
>>> x1 = FiniteSet(10) >>> x2 = FiniteSet(10, 20