Theorem SetRel.core_subset_core

Modification history