mathlib
51452619 - feat(data/fintype/list): induced fintype on nodup lists (#8171)

Commit

4 years ago

feat(data/fintype/list): induced fintype on nodup lists (#8171)

Author

pechersky

pechersky

Parents

Loading