Theorem List.destutter_eq_self_iff

Modification history