Template:Comparison theorem

From Diffgeom