Theorem Set.subsingleton_Icc_of_ge

Modification history