Theorem Submodule.inf_orthogonal_eq_bot

Modification history