Treat deprecation warnings for use of `odd_add`, `odd_sub`, and `filter_index_enum` - Githubissues

math-comp / real-closed

Theorems for Real Closed Fields

13 stars 11 forks source link

Treat deprecation warnings for use of `odd_add`, `odd_sub`, and `filter_index_enum` #26

Closed pi8027 closed 3 years ago