Theorem ENorm.finite_dist_eq

Modification history