Theorem MonoidAlgebra.Submodule.exists_isCompl

Modification history