Theorem Set.singleton_vsub

Modification history