Zulip Chat Archive

Stream: mathlib4

Topic: import name changes

Johan Commelin (Jan 20 2023 at 16:41):

Here another one: Modeq → ModEq
https://github.com/leanprover-community/mathlib4/pull/1730

Last updated: Dec 20 2023 at 11:08 UTC