mathlib

8466579c - remove unnecessary delayed_refl_right_e, golf