Theorem edist_eq_coe_nnnorm'

Modification history