Mathlib v3 is deprecated. Go to Mathlib v4

Theorem preimage_find_eq_disjointed

Modification history

2021-09-15 06:12
src/order/disjointed.lean
refactor(measure_theory/integral/lebesgue): golf a proof (#9206) …
Added preimage_find_eq_disjointedView on Github →