Zulip Chat Archive

Stream: mathlib4

Topic: check all files imported

Notification Bot (May 21 2023 at 18:00):

This topic was moved to #mathlib4 > Conflict in Mathlib.lean by Eric Wieser.

Last updated: May 02 2025 at 03:31 UTC