Theorem List.inits_reverse

Modification history