mathlib3
c4878d17 - feat(data/fintype): complement of univ (#16623)

Commit

3 years ago

feat(data/fintype): complement of univ (#16623) Co-authored-by: Bhavik Mehta <bm489@cam.ac.uk>

Author

b-mehta

Parents