Theorem edist_eq_coe_nnnorm_div

Modification history