Theorem dist_le_coe

Modification history