Theorem Finset.preimage_compl'

Modification history

2025-03-12 12:49
Mathlib/Data/Finset/Preimage.lean
chore(Data/Finset): process porting notes (#22839) …
Added Finset.preimage_compl'View on Github →