Theorem List.foldr_fixed'

Modification history