Date: Fri, 07 May 1999 07:42:25 +0100
From: Brian Sanderson <bjs@maths.warwick.ac.uk>
Subject: Group Completion

Can someone give me a definitive definition of "group completion".
A reference for first use (in topological context)?

Brian Sanderson