Theorem List.destutter'_is_chain

Modification history