rewriting inside lambdas

Stream: new members

[Jason Orendorff]

rw doesn't seem to rewrite terms inside lambdas in types. For example, it doesn't find matches inside a \sum. Is there an easy workaround?

[Sebastien Gouezel]

simp_rw