Theorem ContinuousLinearMap.star_eq_adjoint

Modification history