Theorem SetRel.core_univ

Modification history