Theorem Metric.preimage_smul_ball

Modification history