Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finite.set.finite_of_finite_image

Modification history

2022-06-15 17:10

src/data/finite/set.lean

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

Added finite.set.finite_of_finite_image View on Github →