Theorem SetRel.core_union_subset

Modification history