Theorem nndist_vadd_vadd_le

Modification history