Theorem subsingleton_closure

Modification history