Theorem nndist_vsub_vsub_le

Modification history