Theorem Rel.core_id

Modification history