Zulip Chat Archive

Stream: lean4

Topic: Importing Mathlib breaks simp_arith

Notification Bot (Nov 28 2023 at 03:41):

This topic was moved to #mathlib4 > Importing Mathlib breaks simp_arith by Scott Morrison.

Last updated: May 02 2025 at 03:31 UTC