Disappearance of keep_on_simp
Hello,
The attribute keep_on_simp disappeared from 0.88 to 1.0. Are there mechanisms to retrieve the behaviour it was used for ? Why was it dropped ?
I think it prevented simplifications of formulas under this attribute.