Theorem edist_one_eq_enorm

Modification history