Theorem List.get?_zipWith'

Modification history