Theorem NonUnitalAlgebra.sInf_toSubmodule

Modification history