Commit 2026-08-31 11:24 fa6385b1
View on Github →chore: rename measurable_pi_lambda to Measurable.of_eval (#42979)
Also rename aemeasurable_pi_lambda to AEMeasurable.of_eval. Zulip topic: https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/Renaming.20measurable_pi_lambda.20to.20Measurable.2Eof_eval/with/617676093