Theorem UV.compression_self

Modification history