Theorem Rel.empty_comp

Modification history