Theorem NonUnitalAlgebra.span_eq_toSubmodule

Modification history