I would use "sei" instead of "lass" for "let" to be more in line with notation in mathematical proofs.