Lang と Spivakって後者が高度なの?
偉い人教えて!