Theorem Submodule.finrank_add_finrank_orthogonal'

Modification history