Theorem Metric.nhds_basis_closedBall_pow

Modification history