Theorem Basis.equiv_apply

Modification history