Theorem AffineBasis.basisOf_apply

Modification history