A construction method for induced types and its application to \(G_2\)

From MaRDI portal
Publication:1283671