Future proof EuclidSpec

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

https://math-classes.github.io

MIT License

160 stars 43 forks source link

Closed mrhaandi closed 3 years ago

mrhaandi commented 3 years ago

This PR makes EuclidSpec work with https://github.com/coq/coq/pull/14086 in a backwards compatible manner.