Theorem Measurable.le'

Modification history

2025-12-05 16:31
Mathlib/MeasureTheory/Constructions/BorelSpace/Order.lean
chore(Tactic/Measurability): `fun_prop` lemmas for solving `MeasurableSet {x | ...}` goals (#31592) …
Added Measurable.le'View on Github →