Theorem IsChain.empty

Modification history