Ultraproducts and Chevalley groups

From MaRDI portal
Publication:1127834