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.
fix(finset/lattice): undo removal of bUnion_preimage_singleton (#3293) In #3189 I removed it, which was a mistake.