mathlib3

8f5031ae - docs(undergrad): more links (#10790)

docs(undergrad): more links (#10790) The only change to existing declaration links is removing wrong claims of having proving Sylvester's law of inertia (we don't have that the number of 1 and -1 is independent from the basis).