Theorem Basis.ofIsLocalizedModule_span

Modification history