Theorem List.reverseRecOn_nil

Modification history