Theorem subset_balancedCore

Modification history