Theorem IsChain.pair

Modification history