Theorem Set.vadd_set_vsub_vadd_set

Modification history