Theorem Submodule.basis_of_pid_aux

Modification history