Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-04 07:50 1afdaf96

View on Github →

feat(linear_algebra/trace): more general versions of trace_mul_comm and trace_conj (#13874)

Estimated changes

added theorem comp_dual_tensor_hom
modified theorem linear_map.trace_conj'