Commit 2026-06-04 10:40 07107e4c
View on Github →fix(AlgebraicGeometry/Modules/Tilde): remove duplicate namespace (#40213)
The Scheme.Modules namespace was duplicated in the declaration.
Found by the strengthening the dupNamespace linter in #39793.