Theorem dist_eq_norm_vsub

Modification history