Section 9.3: remove unnecessary AdherentPt hypotheses and fix statements#484

rkirov wants to merge 1 commit intoteorth:mainteorth/analysis:mainfrom

rkirov:upstream-statement-fixesrkirov/analysis:upstream-statement-fixesCopy head branch name to clipboard