Theorem IsUltrametricDist.mem_closedBall_iff

Modification history