Report copyright - Matrix - isabelle.in.tum.de filetranspose-matrix == Abs-matrix o transpose-infmatrix o Rep-matrix declare transpose-infmatrix-def [simp] lemma transpose-infmatrix-twice[simp]: transpose-infmatrix
Please pass captcha verification before submit form