Theorem IsUltrametricDist.ball_eq_or_disjoint

Modification history