Theorem NonUnitalAlgebra.inf_toSubmodule

Modification history