[Merged by Bors] - feat: add scalar tower instances for RingQuot and BilinForm#6066

eric-wieser wants to merge 3 commits into

masterleanprover-community/mathlib4:masterfrom

eric-wieser/ringquot-towerleanprover-community/mathlib4:eric-wieser/ringquot-towerCopy head branch name to clipboard