Option variable
sublis_apply_lambda
Default value: true - controls whether lambda's substituted are applied in simplification after sublis is used or whether you have to do an ev to get things to apply. true means do the application.
true
lambda
sublis
ev