adapt to MC#1258 - Githubissues

math-comp / real-closed

Theorems for Real Closed Fields

13 stars 11 forks source link

adapt to MC#1258 #63

Open Tragicus opened 1 month ago

Tragicus commented 1 month ago

https://github.com/math-comp/math-comp/pull/1258 reserves notation "x ^*".