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: Dec 20 2025 at 21:32 UTC