Theorem SetRel.core_id

Modification history