Theorem finset.bUnion_preimage_singleton
Modification history
2021-01-26 04:21
src/data/finset/lattice.lean
chore(data/finset): Rename bind to bUnion (#5813) …
Deleted finset.bUnion_preimage_singletonView on Github →2020-07-06 04:31
src/data/finset/lattice.lean
fix(finset/lattice): undo removal of bUnion_preimage_singleton (#3293) …
Added finset.bUnion_preimage_singletonView on Github →