Skip to content

Commit

Permalink
feat: port Mathlib.Data.List.Nodup (#1456)
Browse files Browse the repository at this point in the history 
Co-authored-by: ChrisHughes24 <chrishughes24@gmail.com>
  • Loading branch information
@jcommelin @ChrisHughes24
jcommelin and ChrisHughes24 committed Jan 10, 2023
1 parent cd83d90 commit ff1d022
Show file tree
Hide file tree
Showing 2 changed files with 439 additions and 17 deletions.
Loading

0 comments on commit ff1d022

Please sign in to comment.