Commit 2026-03-02 15:01 50cdcb96
View on Github →chore(AlgebraicGeometry): Remove TODO and fix documentation (#35845)
The TODO I had listed is now solved by infer_instance. The docstring had an old name for AlgebraicGeometry.Scheme.isArtinianScheme_Spec so I updated it.