Theorem SetRel.core_inter

Modification history