jamesa9283/structure-theorem
This is a project for my summer research project into formalising Jordan Normal Form in Lean.
Lean
Stargazers
No one’s star this repository yet.
This is a project for my summer research project into formalising Jordan Normal Form in Lean.
Lean
No one’s star this repository yet.