Theorem Submodule.baseChange_eq_span

Modification history