Theorem IsUltrametricDist.isClopen_closedBall

Modification history