Showing changes from revision #0 to #1:
Added | Removed | Changed
The rationalization of a pointed simply connected type is a rational homotopy type with a point-preserving function such that induces an isomorphism? on rationalized homotopy groups?.