Theorem Set.vsub_eq_empty

Modification history