Theorem ChainClosure.succ_fixpoint

Modification history