Prefer a chat interface with context about you and your work?
Corrigendum: A completion for partially ordered abelian groups