Theorem Dense.diff_singleton

Modification history