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: Dec 20 2023 at 11:08 UTC
You can always try compiling mathlib with mul_add and smul_add marked as simp, and see what happens. :-)
Last updated: Dec 20 2023 at 11:08 UTC