Theorem List.destutter_is_chain'

Modification history