Zulip Chat Archive
Stream: PR reviews
Topic: !4#4898 MeasureTheory.Function.ConditionalExpectation.Basic
Ruben Van de Velde (Jun 09 2023 at 14:16):
If someone wants to look at it, go ahead - still 430 errors left (at least)
Last updated: Dec 20 2025 at 21:32 UTC