Theorem Dilation.dist_eq

Modification history