Def Equiv.restrictPreimageFinset

Modification history

2025-03-20 11:09
Mathlib/Data/Finset/Preimage.lean
feat: corestrict an equivalence to a finset (#22534) …
Added Equiv.restrictPreimageFinsetView on Github →