On the lemma of lallement

From MaRDI portal