Tarski–Seidenberg theorem: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

19 May 2022

  • curprev 17:0217:02, 19 May 2022 imported>D.Lazard 6,504 bytes +6,504 top: {{math}} for mathematical symbols; link to the article about the displayed phrase instead of a pipe to another article; simplified link to disambiguated titles