search

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

Prove that equivalence of polynomials is symmetric #33

Closed langston-barrett closed 7 years ago

langston-barrett commented 7 years ago

Includes #32.