Theorem NonUnitalStarAlgebra.span_eq_toSubmodule

Modification history