Theorem edist_pi_def

Modification history