mathlib3
515eefaf - fix(algebra/star/basic): more type classes that should be props (#12235)

Commit

3 years ago

fix(algebra/star/basic): more type classes that should be props (#12235)

Author

dupuisf

dupuisf

Parents

Loading