Theorem Rel.core_union_subset

Modification history