Prefer a chat interface with context about you and your work?
Part 2. Greenlees-May Duality on Formal Schemes