Theorem Algebra.inf_toSubmodule

Modification history