mathlib

08406293 - test(instance_diamonds): verify that restrict_scalars produces no diamonds on the complex numbers (#12273)

test(instance_diamonds): verify that restrict_scalars produces no diamonds on the complex numbers (#12273) There is already a comment on `complex.module` that indicates an intentional solution to this diamond.