Theorem Real.smul_map_volume_mul_left

Modification history