Theorem Finset.image_univ_equiv

Modification history

2023-09-26 11:46
Mathlib/Data/Fintype/Basic.lean
feat: lemmas about finset (#7337) …
Added Finset.image_univ_equivView on Github →