Theorem Set.Finite.exists_subset_finite_image_eq

Modification history

2026-03-13 08:20
Mathlib/Data/Set/Finite/Range.lean
feat: supporting lemmas for theory of bases in Lie theory (#36297) …
Added Set.Finite.exists_subset_finite_image_eqView on Github →