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