A new proof of Hartman and Winter's theorem

From MaRDI portal
Publication:2106529