Theorem Submodule.finrank_add_inf_finrank_orthogonal

Modification history