mathlib
6a0f9674 - feat(data/finite/set): `finite` instances for set constructions (#14673)

Commit

3 years ago

feat(data/finite/set): `finite` instances for set constructions (#14673)

Author

kmill

kmill

Parents

Loading