Documentation

banach_tarski.Lemma_3_2