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