Theorem Quotient.subsingleton_iff

Modification history