Theorem Submodule.finrank_orthogonal_span_singleton

Modification history