Theorem LinearMap.isAdjointPair_iff_comp_eq_compl₂

Modification history