Theorem Quot.subsingleton_iff

Modification history