P
Initializing...
Proposition 8.1 (ii), p. 219 — a projection preserves (L_m, L_c, L)(𝒮/𝒢) · Prove2Me