Registry · Proposition IV.P239 framework not_formalized IV.P239 — C3 for -NS The defect functional is contractive for the -NS system on T^2. Book IV Part 7 Ch. 65