Theorem List.destutter_of_chain'

Modification history