Theorem Set.empty_vsub

Modification history