Theorem Real.volume_preimage_mul_left

Modification history