Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. generalized lemmas about orthogonal transformation
  3. more explicit infixl (see initial 1edf0f223c6e); clarified name;
  4. clarified use of vec type syntax;
Changeset 67734:7b0b0a02b303 by immler:
merged
Changeset 67733:346cb74e79f6 by immler:
generalized lemmas about orthogonal transformation
The file was modified src/HOL/Analysis/Determinants.thy (diff)
Changeset 67732:39d80006fc29 by wenzelm:
more explicit infixl (see initial 1edf0f223c6e);<br>clarified name;
The file was modified src/HOL/Analysis/Finite_Cartesian_Product.thy (diff)
Changeset 67731:184c293f0a33 by wenzelm:
clarified use of vec type syntax;
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Finite_Cartesian_Product.thy (diff)