Theorem Submodule.span_attach_bunionᵢ

Modification history