Give an example of an infinite group whose any subgroup of o

Stream: new members

[BANGJI HU]

Give an example of an infinite group whose any subgroup of order not 1 has a finite exponent

[BANGJI HU]

How do you turn propositions into code

[Eric Wieser]

Is this from a homework/coursework assignment?

[Damiano Testa]

Also, I imagine that you want to formalise this example, but do you know an informal answer to your question?

[Yury G. Kudryashov]

Also, please post questions like this one in the #new members stream. Moving.

[Notification Bot]

This topic was moved here from #mathlib4 > Give an example of an infinite group whose any subgroup of o by Yury G. Kudryashov.

[Yury G. Kudryashov]

Tagging OP @hand bob to notify about the new location of the thread.