mathlib3
d31410ab - doc({linear_algebra,matrix}/charpoly): add crosslinks (#12980)

Commit

3 years ago

doc({linear_algebra,matrix}/charpoly): add crosslinks (#12980) This way someone coming from `undergrad.yaml` has an easy way to jump between the two statements.

Author

eric-wieser

Parents

597cbf10

mathlib3 d31410ab - doc({linear_algebra,matrix}/charpoly): add crosslinks (#12980)

mathlib3
d31410ab - doc({linear_algebra,matrix}/charpoly): add crosslinks (#12980)