Theorem Basis.baseChange_repr_tmul

Modification history