Theorem Real.volume_singleton

Modification history