Theorem IsUltrametricDist.isClopen_ball

Modification history