Commit 2022-12-07 08:32 4f785b62
View on Github āfeat(algebraic_geometry/Spec): (fā šŖā)ā
is just the localization Sā
for affine f : Spec S ā¶ Spec R
(#17471)
feat(algebraic_geometry/Spec): (fā šŖā)ā
is just the localization Sā
for affine f : Spec S ā¶ Spec R
(#17471)