Theorem edist_pi_const

Modification history