Def Finset.pimage

Modification history

2023-05-01 22:19
Mathlib/Data/Finset/PImage.lean
feat: make `Acc.rec` and many related defs computable (#3535) …
Added Finset.pimageView on Github →