Theorem List.reverse_surjective

Modification history