Theorem dist_eq_norm_vsub'

Modification history