Theorem Submodule.orthogonal_orthogonal_monotone

Modification history