An extension of Bruhat's lemma.

From MaRDI portal
Publication:2370311