Theorem Submodule.Quotient.subsingleton_iff

Modification history