Theorem UV.is_compressed_self

Modification history