mathlib3
d94f0a27 - chore(data/list): a list sorted w.r.t. `(<)` has no duplicates (#5550)

Commit

5 years ago

chore(data/list): a list sorted w.r.t. `(<)` has no duplicates (#5550)

Author

urkud

urkud

Parents

Loading