Theorem List.foldl_hom₂

Modification history