Theorem Metric.nhds_basis_ball_pow

Modification history