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: May 02 2025 at 03:31 UTC
You can always try compiling mathlib with mul_add and smul_add marked as simp, and see what happens. :-)
Last updated: May 02 2025 at 03:31 UTC