allow rewriting under lambdas again; there is no reason to forbid it
allow rewriting under lambdas again; there is no reason to forbid it

lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III