Theorem Set.preimage_liftCover

Modification history

2023-02-11 07:44
Mathlib/Data/Set/UnionLift.lean
feat: port MeasureTheory.MeasurableSpace (#2174)
Added Set.preimage_liftCoverView on Github →