Theorem Finset.preimage_inr

Modification history

2024-10-04 10:12

Mathlib/Data/Finset/Preimage.lean

feat(Data/Finset): right elements of a finset in the sum type (#17014)

Added Finset.preimage_inr View on Github →