Theorem IsUltrametricDist.isClosed_ball

Modification history