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

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

BSD 3-Clause "New" or "Revised" License

757 stars 70 forks source link

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

Closed proux01 closed 2 months ago

proux01 commented 2 months ago

Adapt to https://github.com/coq/coq/pull/19530 This is an adaptation in anticipation of the day the temporary backward compatibility introduced in the upstream PR will be removed (probably a few years in the future). Merging this is not required for the upstream PR, you can do whatever you want with it.