Theorem dense_compl_singleton

Modification history