Theorem subset_succChain

Modification history