Theorem Algebra.infₛ_toSubmodule

Modification history