Theorem SetRel.core_comp

Modification history