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_leView on Github →