You're right about Lenz's contribution. Faraday himself didn't use algebra; his mathematics didn't go beyond arithmetic and the concept of proportionality (possibly some geometry, too, but I don't think we've much evidence on this). So he didn't write the law as an equation, let alone use a minus sign.
