Theorem PiCountable.min_dist_le_dist_pi

Modification history