Theorem AffineBasis.basisOf_smul

Modification history