P
Initializing...
Proposition 11 — J_∞ = J* iff projection and intersection commute: conditions (66) and (68) · Prove2Me