Theorem LinearIndependent.restrict_scalars'

Modification history