Theorem IsUltrametricDist.closedBall_eq_of_mem

Modification history