Theorem Submodule.rTensorOne_symm_apply

Modification history