chore: fix diamonds for Real/Complex Algebra instances#36087

matthewjasper wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

matthewjasper:fix-rc-diamondsmatthewjasper/mathlib4:fix-rc-diamondsCopy head branch name to clipboard