Theorem Complex.restrictScalars_one_smulRight'

Modification history