Theorem List.bidirectionalRec_cons_append

Modification history