Theorem NonUnitalSubalgebra.map_toSubmodule

Modification history