Theorem IsUltrametricDist.isOpen_closedBall

Modification history