Theorem ContinuousLinearMap.eq_adjoint_iff

Modification history