Theorem List.foldr_hom₂

Modification history