A synthetic Frobenius theorem

From MaRDI portal
Publication:1295521