mathlib
a7cdab5d - chore(data/set/basic): simp attribute on mem_range_self (#3260)

Commit

5 years ago

chore(data/set/basic): simp attribute on mem_range_self (#3260)

Author

sgouezel

sgouezel

Parents

Loading