Theorem LinearMap.star_eq_adjoint

Modification history