Theorem LinearMap.adjoint_eq_toCLM_adjoint

Modification history