Theorem LinearMap.eq_restrictScalarsRange_iff

Modification history