Adapt to https://github.com/coq/coq/pull/19530

coq-community / math-classes

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

https://math-classes.github.io

MIT License

162 stars 43 forks source link

Closed proux01 closed 1 month ago

proux01 commented 1 month ago

Adapt to https://github.com/coq/coq/pull/19530 This should be backward compatible and can be merged at your convenience, before the upstream PR.

proux01 commented 1 month ago

Thanks