Theorem succChain_spec

Modification history