Zulip Chat Archive

Stream: new members

Topic: Algebra type class inference

Notification Bot (Mar 25 2025 at 19:06):

This topic was moved to #mathlib4 > Algebra type class inference by Kevin Buzzard.

Last updated: May 02 2025 at 03:31 UTC