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 2023 at 11:08 UTC