Theorem IsUltrametricDist.mem_ball_iff

Modification history