Theorem IsChain.superChain_succChain

Modification history