Theorem Descriptive.Tree.singleton_mem

Modification history