Zulip Chat Archive
Stream: general
Topic: simp smul_add
Scott Morrison (Aug 03 2020 at 22:53):
You can always try compiling mathlib with mul_add and smul_add marked as simp, and see what happens. :-)
Last updated: Feb 28 2026 at 14:05 UTC
You can always try compiling mathlib with mul_add and smul_add marked as simp, and see what happens. :-)
Last updated: Feb 28 2026 at 14:05 UTC