Theorem List.reverse_bijective

Modification history