Theorem Equiv.finsetCongr_refl

Modification history

2026-08-28 20:31
Mathlib/Data/Finset/Image.lean
chore(Logic/Equiv): swap the names of `Equiv.setCongr` and `Equiv.Set.congr` (#43005) …
Modified Equiv.finsetCongr_reflView on Github →
2026-08-11 15:45
Mathlib/Data/Finset/Image.lean
chore: improve `Set` / `Finset` congruence API (#42640) …
Modified Equiv.finsetCongr_reflView on Github →
2023-01-16 11:54
Mathlib/Data/Finset/Image.lean
feat: port Data.Finset.Image (#1586)
Added Equiv.finsetCongr_reflView on Github →