Theorem dist_le_zero

Modification history