Adding Spanish translation#30

navimath wants to merge 4 commits intoPatrickMassot:masterPatrickMassot/verbose-lean4:masterfrom

navimath:masternavimath/verbose-lean4-es:masterCopy head branch name to clipboard