Theorem Submodule.IsOrtho.map_iff

Modification history