Theorem Set.singleton_vsub_self

Modification history