Zulip Chat Archive
Stream: mathlib4
Topic: Proving statement for elements of [0,1]
Notification Bot (Sep 12 2025 at 11:54):
This topic was moved to #new members > Proving statement for elements of [0,1] by Patrick Massot.
Last updated: Dec 20 2025 at 21:32 UTC