Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-devel
Repository
afp-devel
thys
Jordan_Normal_Form
Matrix.thy
Find file
Blame
History
Permalink
consolidate vec_conjugate and conjugate
· 1b7d6fa864a7
Rene Thiemann
authored
May 14, 2019
1b7d6fa864a7