Tarski's free group problem

Summary