mathlib3
b5a26d0a - feat(data/list/basic): Lists over empty type are `unique` (#12582)

Commit
3 years ago
feat(data/list/basic): Lists over empty type are `unique` (#12582) Co-authored-by: Eric Wieser <@eric-wieser>
Author
Parents
Loading