Theorem List.Forall₂.imp

Modification history