Theorem Prod.edist_eq

Modification history