mathlib3
c9793b52 - chore(data/mv_polynomial): delete stray comments (#5312)

Commit

5 years ago

chore(data/mv_polynomial): delete stray comments (#5312)

Author

robertylewis

robertylewis

Parents

Loading