+ participle tense for ambiguous adjectival quality
Line 1:
Line 1:
−
The Poincaré conjecture is a major theorem in [[algebraic topology]] first proposed in 1904 by [[Henri Poincaré]] and not proved until the solution was posted by [[Best of the public|Grigori Perelman]] on the [[internet]] beginning in 2002.
+
The Poincaré conjecture is a major theorem in [[algebraic topology]] first proposed in 1904 by [[Henri Poincaré]] and was not proven until the solution was posted by [[Best of the public|Grigori Perelman]] on the [[internet]] beginning in 2002.