Theorem Finset.restrict_comp_piCongrLeft

Modification history

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