Theorem ContinuousMap.dist_apply_le_dist

Modification history