Project
•
Overview
• 783
finitely-generated comm algebra spectrum
comm alg characters/Artin
komm k-algebra spectrum/Dedekind