Category talk:Real closed field
This category was nominated for renaming on 30 December 2021. The result of the discussion was no consensus. |
This category was nominated for renaming on 30 December 2021. The result of the discussion was no consensus. |