Theorem AffineBasis.reindex_smul

Modification history