Theorem Submodule.IsOrtho.map

Modification history