mathlib
2af01474 - chore(data/equiv/basic): add simps attribute to some defs (#7137)

Commit

4 years ago

chore(data/equiv/basic): add simps attribute to some defs (#7137)

Author

jcommelin

jcommelin

Parents

Loading