Theorem ChainClosure.isChain

Modification history