Theorem Finset.equivOfEq_refl

Modification history

2026-08-31 14:42
Mathlib/Data/Finset/Image.lean
chore: rename `Equiv.Set.congr` to `Set.equivOfEq` (#43200) …
Added Finset.equivOfEq_reflView on Github →