Proving a group infinite

From MaRDI portal
Publication:1113281