The u,u−1lemma revisited

From MaRDI portal