search

math-comp / real-closed

Theorems for Real Closed Fields
13 stars 11 forks source link

fixup #31

Closed CohenCyril closed 3 years ago