Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-06 04:31 ffa504c9

View on Github →

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

Estimated changes