Feat/2 quadratic param uniqueness#1

FrankieeW wants to merge 3 commits intofeat/1-quadratic-field-basicsFrankieeW/mathlib4:feat/1-quadratic-field-basicsfrom

feat/2-quadratic-param-uniquenessFrankieeW/mathlib4:feat/2-quadratic-param-uniquenessCopy head branch name to clipboard