Registry · Proposition IV.P237 framework not_formalized IV.P237 — C1 for -NS The -NS velocity field on T^2 decomposes over the clopen cylinder cover inherited from tau3. Book IV Part 7 Ch. 65