Registry · Proposition V.P208 tau-effective not_formalized V.P208 — NCG spectral triple from tau NCG spectral triple recovered from tau boundary algebra Book V Part 7 Ch. 64