Theorem Set.image2_vsub

Modification history