Theorem AffineBasis.basisOf_reindex

Modification history