Theorem Metric.unitSphere.coe_pow

Modification history