Any chemists know the technical term(s) for the green corrosion that can form on an automotive battery terminal? I replaced a battery today and found a lot of very hard green corrosion that required me to scrape it off. A wire brush wouldn't budge it - I had to scrape it with a screwdriver tip and it took quite a while to knock it all off. I've never seen it so hard, almost like a hardended film.