mathlib
ffa504c9 - fix(finset/lattice): undo removal of bUnion_preimage_singleton (#3293)

Commit

6 years ago

fix(finset/lattice): undo removal of bUnion_preimage_singleton (#3293) In #3189 I removed it, which was a mistake.

Author

fpvandoorn

Parents