The local loop lemma

From MaRDI portal
Publication:2302149