Theorem Metric.bounded_range_iff

Modification history