Registry · Proposition IV.P268 framework not_formalized IV.P268 — Properties of CR-Space CR(tau3) is: enumerate An algebra (closed under addition and multiplication, by Proposition prop:iv-cr-algebra). Book IV Part 2 Ch. 15